函子 (函数式编程) 编辑
函数式编程中,函子是受到范畴论函子启发的一种设计模式,它允许泛型编程在内部应用一个函数而不改变泛化类型的结构。函子形成了更复杂的抽象如应用式函子单子单子的基础。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
在很多编程语言中,映射是一个高阶函数的名字,它将一个给定函数应用到一个函子比如列表的每个元素,返回按相同次序的一个列表。映射的概念不受限于列表:它可工作在顺序的容器,类似树的容器,甚至是抽象容器比如Future与promise。
在函数式编程中, 应用式函子,或简称应用式,是在函子和单子之间的中间结构。应用式函子允许函子式计算成为序列,但是不允许使用前面计算的结果于后续计算的定义之中。应用式函子是范畴论中具有张量强度的不严格幺半群函子的编程等价者。